1. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
